Multi-Linear Iterative K-Σ-Semialgebras
نویسندگان
چکیده
منابع مشابه
Multi-Linear Iterative K-Σ-Semialgebras
We consider K-semialgebras for a commutative semiring K that are at the same time Σ-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over such an algebra, then we call it an iterative multi-linear K-Σ-semialgebra. Examples of such algebras include the algebras of Σ-tree series over an alphabet A with coe...
متن کاملMulti-linear iterative K-Sigma-semialgebras
We consider K-semialgebras for a commutative semiring K that are at the same time Σ-algebras and satisfy certain linearity conditions. When each finite system of guarded polynomial fixed point equations has a unique solution over such an algebra, then we call it an iterative multi-linear K-Σ-semialgebra. Examples of such algebras include the algebras of Σ-tree series over an alphabet A with coe...
متن کاملFree iterative and iteration K-semialgebras
We consider algebras of rational power series over a finite alphabet Σ with coefficients in a commutative semiring K and characterize them as the free algebras in various classes of algebraic structures.
متن کاملFree inductive K-semialgebras
We consider rational power series over an alphabet Σ with coefficients in a ordered commutative semiring K and characterize them as the free ordered K-semialgebras in various classes of ordered K-semialgebras equipped with a star operation satisfying the least prefixed point rule and/or its dual. The results are generalizations of Kozen’s axiomatization of regular languages.
متن کاملبررسی سیستم جفت شده K ̅K ̅N-πK ̅Σ با استفاده از روش فدیف
Base on the non-relativistic Faddeev AGS method, three-body calculations of the coupled and quasi-bound KKN-πKΣ system are performed in the momentum space. Different phenomenological models of KN-πΣ potentials with one and two-pole structures of KN-πΣ resonance are used to study the dependence of double-kaonic system binding energy on the coupled KN-πΣ interaction. Also, the effect of the KK r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2011
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.09.020